Sound Proof of Proximity of Knowledge Serge Vaudenay ÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE

Source URL: security-lab.jaist.ac.jp

• Cryptography
• IP
• Distance-bounding protocol
• Challengeresponse authentication
• Computational complexity theory
• Interactive proof system

Model Predictive Control of Urban Networks with Perimeter Control and Route Guidance Isik Ilber Sirmatel Nikolas Geroliminis École Polytechnique Fédérale de Lausanne

Source URL: www.strc.ch

• Transport
• Land transport
• Road transport
• Traffic flow
• Transportation engineering
• Mathematical physics
• Road traffic management
• Fundamental diagram of traffic flow
• Traffic simulation
• Model predictive control
• Traffic model
• Teletraffic engineering

State of the Meta, Summer 2015 Eugene Burmako (@xeno by) ´ Ecole Polytechnique F´ ed´

Source URL: scalamacros.org

• Software engineering
• Computing
• Software
• Concurrent programming languages
• Functional languages
• Object-oriented programming languages
• Scripting languages
• Scala
• Source code
• Macro
• Martin Odersky
• SYNTAX

Cache-Aware Lock-Free Concurrent Hash Tries Aleksandar Prokopec, Phil Bagwell, Martin Odersky École Polytechnique Fédérale de Lausanne, Lausanne, Switzerland {rstname}.{lastname}@ep.ch

Source URL: axel22.github.io

• Computer programming
• Associative arrays
• Software engineering
• Information science
• Ctrie
• Search algorithms
• Hashing
• Data types

Reducts of structures and maximal-closed permutation groups Manuel Bodirsky∗, Laboratoire d’Informatique (LIX), CNRS UMR 7161, Ecole Polytechnique, 91128 Palaiseau, France,

Source URL: www1.maths.leeds.ac.uk

• Group theory
• Lie groups
• Non-associative algebras
• Lie algebras
• Constructible universe
• Equivalence relation
• Model theory
• Mutation
• Order
• Group action
• Vertex operator algebra
• Lambda calculus

1 THESE DE DOCTORAT DE L’ECOLE POLYTECHNIQUE

Source URL: www.cims.nyu.edu

An Empirical Analysis of the Swaption Cube Anders B. Trolle Ecole Polytechnique F´ed´erale de Lausanne and Swiss Finance Institute Eduardo S. Schwartz UCLA Anderson School of Management and NBER Abstract

Source URL: www.istfin.eco.usi.ch

• Mathematical finance
• Options
• Swaption
• Interest rate derivative
• LIBOR market model
• Interest rate swap
• Interest rate cap and floor
• Volatility
• Swap
• Derivative
• Range accrual
• Implied volatility

Laplacians and Heat Kernels: Theory and Applications (15w5110) Denis Grebenkov (Ecole Polytechnique), Peter Jones (Yale University), Naoki Saito (University of California, Davis–

Source URL: www.birs.ca

• Spectral theory
• Partial differential equations
• Differential operators
• Multivariable calculus
• Fourier analysis
• Laplace operator
• Dirichlet eigenvalue
• Heat kernel
• Eigenfunction
• Spectral geometry
• Eigenvalues and eigenvectors
• Hearing the shape of a drum

Focused and Synthetic Nested Sequents Kaustuv Chaudhuri, Sonia Marin, and Lutz Straßburger ´ Inria & LIX/Ecole polytechnique, France {kaustuv.chaudhuri,sonia.marin,lutz.strassburger}@inria.fr

Source URL: www.lix.polytechnique.fr

• Proof theory
• Non-classical logic
• Model theory
• Philosophical logic
• Deductive reasoning
• Sequent
• Cut-elimination theorem
• Soundness
• Linear logic
• Propositional calculus
• First-order logic
• Rule of inference

What Are Macros Good For? Eugene Burmako ´ Ecole Polytechnique F´ ed´

Source URL: scalamacros.org

• Object-oriented programming languages
• Functional languages
• Macro
• Source code
• Scala
• Constant